[STRATEGY-LIST]
Normal=True, 1347265659
[synthesis-type]
tool=Synplify
